(read_process_output): Make sure the process marker's
authorGerd Moellmann <gerd@gnu.org>
Thu, 7 Dec 2000 15:50:30 +0000 (15:50 +0000)
committerGerd Moellmann <gerd@gnu.org>
Thu, 7 Dec 2000 15:50:30 +0000 (15:50 +0000)
commita1e78cb3e680774b7a993547c0e78ba3249dd4b4
tree0eafbed700d4e8c4721deabb578e3420f1ec9b98
parent3b40d74e60453b534980817a334445c4bb9c954a
(read_process_output): Make sure the process marker's
position is valid when the process buffer is changed in
after-change functions.  W3 does that.
src/process.c